A property of left-linear rewrite systems preserving recognizability
نویسندگان
چکیده
منابع مشابه
Right - linear finite path overlapping rewrite systems effectively preserve recognizability ∗
Right-linear finite path overlapping TRS are shown to effectively preserve recognizability. The class of right-linear finite path overlapping TRS properly includes the class of linear generalized semimonadic TRS and the class of inverse left-linear growing TRS, which are known to effectively preserve recognizability.
متن کاملLeft-linear Bounded TRSs are Inverse Recognizability Preserving
Bounded rewriting for linear term rewriting systems has been defined in (I. Durand, G. Sénizergues, M. Sylvestre. Termination of linear bounded term rewriting systems. Proceedings of the 21st International Conference on Rewriting Techniques and Applications) as a restriction of the usual notion of rewriting. We extend here this notion to the whole class of left-linear term rewriting systems, an...
متن کاملCoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
We present a confluence tool for left-linear term rewrite systems. The tool proves confluence by using Hindley’s commutation theorem together with three commutation criteria, including Church-Rosser modulo associative and/or commutative theories. Despite a small number of its techniques, experiments show that the tool is comparable to recent powerful confluence tools.
متن کاملRecognizability of Redexes for Higher-Order Rewrite Systems
It is known that the set of all redexes for a left-linear term rewriting system is recognizable by a tree automaton, which means that we can construct a tree automaton that accepts redexes. The present paper extends this result to Nipkow’s higher-order rewrite systems, in which every left-hand side is a linear fully-extended pattern. A naive extension of the first-order method causes the automa...
متن کاملLayered Transducing Term Rewriting System and Its Recognizability Preserving Property
A term rewriting system which effectively preserves recognizability (EPR-TRS) has good mathematical properties. In this paper, a new subclass of TRSs, layered transducing TRSs (LT-TRSs) is defined and its recognizability preserving property is discussed. The class of LT-TRSs contains some EPRTRSs, e.g., {f(x) → f(g(x))} which do not belong to any of the known decidable subclasses of EPR-TRSs. B...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00039-6